Coinduction in Control of Partially Observed Discrete-Event Systems
نویسندگان
چکیده
منابع مشابه
Coinduction in Control of Partially Observed Discrete-Event Systems
Coalgebra and coinduction provide new results and insights for the supervisory control of discrete-event systems (DES) with partial observations. In the case of full observations, coinduction has been used to define a new operation on languages called supervised product, which represents the tuple of languages of the supervised system. The first language acts as a supervisor and the second as a...
متن کاملPredictability of event occurrences in partially-observed discrete-event systems
This paper studies the problem of predicting occurrences of a significant event in a partially-observed discrete-event system. The predictability of occurrences of an event in a system is defined in the context of formal languages. The predictability of a language is a stronger condition than the diagnosability of the language. Two necessary and sufficient conditions for predictability of occur...
متن کاملPartial Observation in Distributed Supervisory Control of Discrete-Event Systems
Distributed supervisory control is a method to synthesize local controllers in discrete-eventsystems with a systematic observation of the plant. Some works were reported on extending this methodby which local controllers are constructed so that observation properties are preserved from monolithic todistributed supervisory control, in an up-down approach. In this paper, we find circumstances in ...
متن کاملA language measure for partially observed discrete event systems
Recent literature has introduced and validated a signed real measure of regular languages for quantitative analysis and synthesis of discrete-event supervisory (DES) control systems, where all events are assumed to be observable. This paper presents a modification of the language measure for supervisory control under partial observation and shows how to generalize the analysis when some of the ...
متن کاملOn-line Supervisor Synthesis for Partially-observed Discrete-event Systems
A partial information supervisor that generates a class of closed controllable and observable sublanguages of a speci ed `legal' language is presented. The supervisor has the following features: (i) it can be implemented on-line (i.e., the disabled event set need only be computed once upon each event observation); (ii) the computations of the disabled event set can be performed in O(mn) worst-c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2003
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80637-6